﻿<?xml version="1.0" encoding="utf-8"?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html>
<!-- saved from url=(0033)http://research.microsoft.com/pex -->
<head><link rel="StyleSheet" href="er.common.css" type="text/css" /><script src="er.common.js" type="text/javascript"> </script><link rel="SHORTCUT ICON" href="favicon.ico" /><link rel="icon" href="favicon.ico" type="image/x-icon" /><title>C:\Users\AO\Documents\Visual Studio 2010\AutomaTones3\automatones\AutomaTones\AutomaTones\View\GUI View\GuiView.Designer.cs</title></head><body><div class="banner"></div><h2 id="top">C:\Users\AO\Documents\Visual Studio 2010\AutomaTones3\automatones\AutomaTones\AutomaTones\View\GUI View\GuiView.Designer.cs</h2><div class="toggle"><p class="copyright"><a class="usercodeundertestcovered">user code under test</a>, 
  <span class="usercodeundertestnotcovered">user code under test (not covered)</span>, 
  <a class="userortestcodecovered">user code or test</a>, 
  <span class="userortestcodenotcovered">user code or test (not covered)</span>,
  <span class="tagged">tagged</span></p><table><tr><th>Methods</th></tr><tr><th /></tr></table><div class="toggle"><a class="button" href="#ID0EL">first</a><pre class="coverage">using System;
using AutomaTones.Model.Automaton_Model;
using AutomaTones.View.GUI_View;
namespace AutomaTones {
    partial class GuiView{
        /// &lt;summary&gt;
        /// Required designer variable.
        /// &lt;/summary&gt;
        <span id="ID0EL"><a class="button" href="#top">top</a>|<a class="button" href="#ID0EVF">next</a></span><a class="userortestcodecovered">private System.ComponentModel.IContainer components = null;</a>

        /// &lt;summary&gt;
        /// Clean up any resources being used.
        /// &lt;/summary&gt;
        /// &lt;param name="disposing"&gt;true if managed resources should be disposed; otherwise, false.&lt;/param&gt;
        protected override void Dispose(bool disposing) {
            if (disposing &amp;&amp; (components != null)) {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// &lt;summary&gt;
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// &lt;/summary&gt;
        private void InitializeComponent() <a class="button" href="#ID0EL">prev</a>|<span id="ID0EVF"><a class="button" href="#top">top</a></span><a class="userortestcodecovered">{</a>
            <a class="userortestcodecovered">this.SuspendLayout();</a>
            // 
            // GuiView
            // 
            <a class="userortestcodecovered">this.AutoScaleDimensions = new System.Drawing.SizeF(8F, 16F);</a>
            <a class="userortestcodecovered">this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;</a>
            <a class="userortestcodecovered">this.BackColor = System.Drawing.SystemColors.ControlDarkDark;</a>
            <a class="userortestcodecovered">this.ClientSize = new System.Drawing.Size(1021, 606);</a>
            <a class="userortestcodecovered">this.Name = "GuiView";</a>
            <a class="userortestcodecovered">this.Click += new System.EventHandler(this.FormClick);</a>
            <a class="userortestcodecovered">this.ResumeLayout(false);</a>

        <a class="userortestcodecovered">}</a>

        #endregion

    }
}</pre></div></div><hr /><table width="100%"><tr><td valign="top"><span class="copyright">Copyright (c) Microsoft Corporation. All rights reserved.</span><br /><span class="button" onclick="copySourceToClipboard()">Copy full source to clipboard</span></td></tr></table><div id="debugdiv"> </div></body></html>